LLM DNA: Tracing Model Evolution via Functional Representations
arxiv.org·6h
💻Programming languages
Using an LLM on the Advent of Code
funcall.blogspot.com·17h·
⚔️Lean Tactics
Is sound gradual typing dead? Performance problems in Typed Racket
dl.acm.org·2d·
Discuss: Hacker News
🎯Gradual Typing
PIPER Robotic Arm - Fixed Position Recording & Replay
hackster.io·3h
🤖Tape Automation
A Puzzling Performance Puzzle
kodewerk.com·5h·
Discuss: Hacker News
🧪Binary Fuzzing
Proving the Infinitude of Primes in Knuckledragger
philipzucker.com·2d
🧮Theorem Proving
Discrete Fourier Transform
nima101.github.io·4h·
Discuss: Hacker News
📐Error Bounds
Design Patterns Emerging From Multi-Agent AI Systems
dev.to·5h·
Discuss: DEV
🎯Threat Hunting
Subtext Retrospective
subtext-lang.org·6h·
Effect Handlers
The Lowest Level PL
pramatias.github.io·2d·
🦀Rust Macros
AutoPrune: Each Complexity Deserves a Pruning Policy
arxiv.org·6h
💎Information Crystallography
Throwing Darts in Latent Space
guille.site·15h·
Discuss: Hacker News
🧠Machine Learning
Sguaba: Type-safe spatial math in Rust
youtube.com·20h·
🦀Rust Borrowing
From Ambiguity to Verdict: A Semiotic-Grounded Multi-Perspective Agent for LLM Logical Reasoning
arxiv.org·6h
🏛️Isabelle HOL
Brownian motion: Modeling random fields over arbitrary geometries
stopthrowingrocks.github.io·4h·
🕸️Tensor Networks
What Kind of Programming Is Natural Language Programming?
dsyme.net·7h·
Discuss: Hacker News
💻Programming languages
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.com·17h
🎙️Whisper
Decoding Rotations: Unveiling Hidden Structures in 3D Space by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
📐Projective Geometry
The QMA Singularity
scottaaronson.blog·2d·
🔐Quantum Security
A tutorial for the Mercury programming language
sebastian.graphics·3d·
Discuss: Hacker News
🔗Concatenative Programming